Type system - PDFSEARCH.IO - Document Search Engine

Type system
Results: 9144

#	Item
331	CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-17 14:01:34 Functional languages Procedural programming languages Subroutines Functional programming Type theory ML Monad Scope Recursion Standard ML Nested function HindleyMilner type system
332	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
333	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
334	T I M S S Supplement Variables Derived from the Student and Teacher Add to Reading List Source URL: pirls.bc.edu Language: English - Date: 2000-03-08 10:34:52 Algorithms HindleyMilner type system Lambda calculus Theoretical computer science Type inference Type theory Variable Questionnaire
335	Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Data types Type theory Type system Subtyping Union type Tagged union Pattern matching Monad ML Product type Type conversion Record
336	ECO GUIDE TO Pre-stratified Samples What Is a Pre-stratified Sampled? If you have decided to conduct a sample inventory, you will be collecting data for plots located throughout your study area. In this type of project, Add to Reading List Source URL: www.itreetools.org Language: English - Date: 2016-06-09 18:13:53 GIS software User interface techniques ArcGIS Geographic information system ArcMap Shapefile Polygon Form Point and click Esri Sampling Google Maps
337	Does an Individual’s Myers-Briggs Type Indicator Preference Influence Task-Oriented Technology Use? Pamela Ludford and Loren Terveen University of Minnesota, Department of Computer Science and EngineeringEE/CS B Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2003-09-07 14:10:24 MyersBriggs Type Indicator MovieLens Personality type Personality test Recommender system Cognitive style Isabel Briggs Myers MBTI Step II
338	Introduction Function casts Object casts Status and conclusions Towards Gradual Typing in Python Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:54 Object-oriented programming languages High-level programming languages Scripting languages Cross-platform software Procedural programming languages Gradual typing Jython Type system Python D Go
339	Texas Education AgencySchool Report Card SOUDER ELDistrict Name: EVERMAN ISD Campus Type: Elementary Add to Reading List Source URL: d3jc3ahdjad7x7.cloudfront.net Language: English - Date: 2015-09-21 11:57:24 Education in Texas State of Texas Assessments of Academic Readiness Texas Education Agency accountability ratings system East View High School
340	Mandator Definition Type y/Optiona Field Name l Note: In the Add to Reading List Source URL: observer.gsfc.nasa.gov Language: English - Date: 2002-07-18 14:08:17 SQL Varchar ASCII PLY System time

UPDATE